xen/arm: wake up secondary cpus
authorStefano Stabellini <stefano.stabellini@eu.citrix.com>
Thu, 15 Nov 2012 10:25:29 +0000 (10:25 +0000)
committerStefano Stabellini <stefano.stabellini@eu.citrix.com>
Thu, 15 Nov 2012 10:25:29 +0000 (10:25 +0000)
commitf3d27b501eec501db02315d10734dfab19de2772
treecd007af675208eb12701f466eafa0177aa474649
parentff25a157f2789a3230f128b669ecb5fcc57ccf20
xen/arm: wake up secondary cpus

Secondary cpus are held by the firmware until we send an IPI to them.

Reordered non-boot cpu wait loop to perform the check before waiting
for an event, to handled the case where the event has already
happened when we reach the loop.

Signed-off-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
Committed-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/arm/gic.h
xen/arch/arm/head.S
xen/arch/arm/mode_switch.S
xen/include/asm-arm/platform_vexpress.h [new file with mode: 0644]